A behavioral module system for the Pi-calculusRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2001, pp 375-394, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Conformance checking for models of asynchronous message passing softwareRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2002, pp 166-179, issn 0302-9743, isbn 3-540-43997-8, 14 p.Conference Paper

Models for contract conformanceRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2006, pp 181-196, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

Estimating the impact of scalable pointer analysis on optimizationDAS, Manuvir; LIBLIT, Ben; FÄHNDRICH, Manuel et al.Lecture notes in computer science. 2001, pp 260-278, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Context-bounded model checking of concurrent softwareQADEER, Shaz; REHOF, Jakob.Lecture notes in computer science. 2005, pp 93-107, issn 0302-9743, isbn 3-540-25333-5, 15 p.Conference Paper

Stuck-free conformanceFOURNET, Cédric; HOARE, Tony; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 242-254, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper

Type-based flow analysis : From polymorphic subtyping to CFL-reachabilityREHOF, Jakob; FÄHNDRICH, Manuel.ACM SIGPLAN notices. 2001, Vol 36, Num 3, pp 54-66, issn 1523-2867Conference Paper

Zing: Exploiting program structure for model checking concurrent softwareANDREWS, Tony; QADEER, Shaz; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 1-15, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Zing: A model checker for concurrent softwareANDREWS, Tony; QADEER, Shaz; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 484-487, issn 0302-9743, isbn 3-540-22342-8, 4 p.Conference Paper

Summarizing procedures in concurrent programsQADEER, Shaz; RAIAMANI, Sriram K; REHOF, Jakob et al.ACM SIGPLAN notices. 2004, Vol 39, Num 1, pp 245-255, issn 1523-2867, 11 p.Conference Paper

Types as models: Model checking message-passing programsCHAKI, Sagar; RAJAMANI, Sriram K; REHOF, Jakob et al.ACM SIGPLAN notices. 2002, Vol 37, Num 1, pp 45-57, issn 1523-2867Conference Paper